Characterisation of the state spaces of live and bounded marked graph Petri nets

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Lecture notes in computer science, 8370 LNCS, page (161-172)
Publication Publié, 2014

Article révisé par les pairs

Titre:	Characterisation of the state spaces of live and bounded marked graph Petri nets
Auteur:	Best, Eike; Devillers, Raymond
Informations sur la publication:	Lecture notes in computer science, 8370 LNCS, page (161-172)
Statut de publication:	Publié, 2014
Sujet CREF:	Informatique générale
	Informatique mathématique
Mots-clés:	Petri nets
	region theory
	system synthesis
	transition systems
Note générale:	SCOPUS: cp.k
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-319-04921-2_13
	info:scp/84898066503

On the Reversibility of Circular Conservative Petri Nets
par Devillers, Raymond
Publication 2023-05-01
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
par Devillers, Raymond , Tredup, Ronny
Publication 2023-10-01
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Complexity of Distributed Petri Net Synthesis
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
A New Property of Choice-Free Petri Net Systems
par Best, Eike , Devillers, Raymond , Erofeev, Evgeny
Publication 2020-08-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.